1341. Techniques de progrumation (Computer Programming techniques)
پدیدآورنده : / Theodore G. Scott
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
Sc-T
1342. Techniques in computer programming
پدیدآورنده : SHERMAN,PHILIP M
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , FORTRAN )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
5
.
S472
1343. Techniques of Program Structure and design
پدیدآورنده : / Edward Yourdon
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
Y81t
1344. Techniques of program structure and design
پدیدآورنده : Yourdon, Edward
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
Y68
1345. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
1346. Temporal logic : mathematical foundations and computational aspects
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
1347. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
1348. Temporal logic of programs
پدیدآورنده : KROGER,FRED
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
1349. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
1350. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
1351. The Art of computer programming
پدیدآورنده : / Donald Ervin Knuth
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic digital computers-- programming
رده :
QA
76
.
6
.
K64
1352. The Craft of programming
پدیدآورنده : Reynolds, John C
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
R47
1353. The Elements of digital computer programming
پدیدآورنده : Reilly, Edwin D
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
5
.
R44
1354. The IOTA programming system : a modular programming environment
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Modular programming
رده :
QA
76
.
6
.
I66
1983
1355. The IOTA programming system : a modular programming environment
پدیدآورنده : edited by R. Nakajima and T. Yuasa
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Modular programming
رده :
QA
76
.
L4
v
.
160
1356. The MBASIC handbook
پدیدآورنده : Ettlin, Walter A.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، BASIC )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
73
.
B3E88
1983
1357. The McGraw-Hill PC programmer s desk reference
پدیدآورنده : Canton, Maria P.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming
رده :
QA
76
.
6
.
C36
1996
1358. The Munich Project CIP
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، CIP-L )Computer program language(,، CIP-S )Computer system(
رده :
QA
76
.
6
.
M86
1985
1359. The Munich Project CIP
پدیدآورنده : by the CIP Language Group, F.L. Bauer ... )et al.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، CIP-L )Computer program language(,، CIP-S )Computer system(
رده :
QA
76
.
L4
v
.
183
,
292
1360. The Programmer`s COBOL
پدیدآورنده : / by Robert Bemer,Berk
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : CoBol II ( Computer program language ),Electronic digital computers -- Programming
رده :
QA
76
.
5
.
B425
